00001
00002
00003
00004
00005
00006
00007
00008
00009 package jvn;
00010
00011 import java.rmi.*;
00012 import java.io.*;
00013
00014
00019 public interface JvnRemoteCoord extends Remote {
00020
00026 public int jvnGetObjectId()
00027 throws java.rmi.RemoteException,jvn.JvnException;
00028
00037 public void jvnRegisterObject(String jon, JvnObject jo, JvnRemoteServer js)
00038 throws java.rmi.RemoteException,jvn.JvnException;
00039
00047 public JvnObject jvnLookupObject(String jon, Class<? extends JvnObject> type, JvnRemoteServer js)
00048 throws java.rmi.RemoteException,jvn.JvnException;
00049
00057 public Serializable jvnLockRead(int joi, JvnRemoteServer js)
00058 throws java.rmi.RemoteException, JvnException;
00059
00067 public Serializable jvnLockWrite(int joi, JvnRemoteServer js)
00068 throws java.rmi.RemoteException, JvnException;
00069
00075 public void jvnServerTerminated(JvnRemoteServer js)
00076 throws java.rmi.RemoteException, JvnException;
00077 }
00078
00079